AIDS communication

Information and Communication for DevelopmentAndrew Skuse, Fiona Powe

Chaotic dynamics of cold atoms in far-off-resonant donut beam

We describe the classical two dimensinal nonlinear dynamics of cold atoms in far-off-resonant donut beams. We show that there chaotic dynamics exists for charge greater than unity, when the intensity of the beam is periodically modulated. The two dimensional distributions of atoms in $(x,y)$ plane for charge two are simulated. We show that the atoms will acumulate on several ring regions when the system enters to regime of global chaos.Comment: 8 pages, 8 figure

A semantical approach to equilibria and rationality

Game theoretic equilibria are mathematical expressions of rationality. Rational agents are used to model not only humans and their software representatives, but also organisms, populations, species and genes, interacting with each other and with the environment. Rational behaviors are achieved not only through conscious reasoning, but also through spontaneous stabilization at equilibrium points. Formal theories of rationality are usually guided by informal intuitions, which are acquired by observing some concrete economic, biological, or network processes. Treating such processes as instances of computation, we reconstruct and refine some basic notions of equilibrium and rationality from the some basic structures of computation. It is, of course, well known that equilibria arise as fixed points; the point is that semantics of computation of fixed points seems to be providing novel methods, algebraic and coalgebraic, for reasoning about them.Comment: 18 pages; Proceedings of CALCO 200

Radio broadcasting for health: a decision maker's guide

Information and Communication for DevelopmentAndrew Skuse, Nadia Butler, Fiona Powe, Nicola Woods, Mary Myers, Nicola Harford, Heather Budge-Reid and Gordan Ada

The spatial distribution of cold gas in hierarchical galaxy formation models

The distribution of cold gas in dark matter haloes is driven by key processes in galaxy formation: gas cooling, galaxy mergers, star formation and reheating of gas by supernovae. We compare the predictions of four different galaxy formation models for the spatial distribution of cold gas. We find that satellite galaxies make little contribution to the abundance or clustering strength of cold gas selected samples, and are far less important than they are in optically selected samples. The halo occupation distribution function of present-day central galaxies with cold gas mass >109 h−1 M⊙ is peaked around a halo mass of ≈1011 h−1 M⊙, a scale that is set by the AGN suppression of gas cooling. The model predictions for the projected correlation function are in good agreement with measurements from the H i Parkes All-Sky Survey. We compare the effective volume of possible surveys with the Square Kilometre Array with those expected for a redshift survey in the near-infrared. Future redshift surveys using neutral hydrogen emission will make possible measurements of the baryonic acoustic oscillations that are competitive with the most ambitious spectroscopic surveys planned in the near-infrared

Chapter 11 - Near-term climate change: Projections and predictability

This chapter assesses the scientific literature describing expectations for near-term climate (present through mid-century). Unless otherwise stated, "near-term" change and the projected changes below are for the period 2016-2035 relative to the reference period 1986-2005. Atmospheric composition (apart from CO2; see Chapter 12) and air quality projections through to 2100 are also assessed

Time-of-arrival distributions from position-momentum and energy-time joint measurements

The position-momentum quasi-distribution obtained from an Arthurs and Kelly joint measurement model is used to obtain indirectly an ``operational'' time-of-arrival (TOA) distribution following a quantization procedure proposed by Kocha\'nski and W\'odkiewicz [Phys. Rev. A 60, 2689 (1999)]. This TOA distribution is not time covariant. The procedure is generalized by using other phase-space quasi-distributions, and sufficient conditions are provided for time covariance that limit the possible phase-space quasi-distributions essentially to the Wigner function, which, however, provides a non-positive TOA quasi-distribution. These problems are remedied with a different quantization procedure which, on the other hand, does not guarantee normalization. Finally an Arthurs and Kelly measurement model for TOA and energy (valid also for arbitrary conjugate variables when one of the variables is bounded from below) is worked out. The marginal TOA distribution so obtained, a distorted version of Kijowski's distribution, is time covariant, positive, and normalized

Partial Recursive Functions and Finality

Abstract. We seek universal categorical conditions ensuring the representability of all partial recursive functions. In the category Pfn of sets and partial functions, the natural numbers provide both an initial algebra and a final coalgebra for the functor 1 + −. We recount how finality yields closure of the partial functions on natural numbers under Kleene’s µ-recursion scheme. Noting that Pfn is not cartesian, we then build on work of Paré and Román, obtaining weak initiality and finality conditions on natural numbers algebras in monoidal categories that ensure the (weak) representability of all partial recursive functions. We further obtain some positive results on strong representability. All these results adapt to Kleisli categories of cartesian categories with natural numbers algebras. However, in general, not all partial recursive functions need be strongly representable.

An Invitation to Higher Gauge Theory

In this easy introduction to higher gauge theory, we describe parallel transport for particles and strings in terms of 2-connections on 2-bundles. Just as ordinary gauge theory involves a gauge group, this generalization involves a gauge '2-group'. We focus on 6 examples. First, every abelian Lie group gives a Lie 2-group; the case of U(1) yields the theory of U(1) gerbes, which play an important role in string theory and multisymplectic geometry. Second, every group representation gives a Lie 2-group; the representation of the Lorentz group on 4d Minkowski spacetime gives the Poincar\'e 2-group, which leads to a spin foam model for Minkowski spacetime. Third, taking the adjoint representation of any Lie group on its own Lie algebra gives a 'tangent 2-group', which serves as a gauge 2-group in 4d BF theory, which has topological gravity as a special case. Fourth, every Lie group has an 'inner automorphism 2-group', which serves as the gauge group in 4d BF theory with cosmological constant term. Fifth, every Lie group has an 'automorphism 2-group', which plays an important role in the theory of nonabelian gerbes. And sixth, every compact simple Lie group gives a 'string 2-group'. We also touch upon higher structures such as the 'gravity 3-group' and the Lie 3-superalgebra that governs 11-dimensional supergravity.Comment: 60 pages, based on lectures at the 2nd School and Workshop on Quantum Gravity and Quantum Geometry at the 2009 Corfu Summer Institut